#ifndef __USERPROG_PROCESS_H 
#define __USERPROG_PROCESS_H 
#include <linux/thread.h>
#include <asm-i386/types.h>
#define default_prio 31
#define USER_STACK3_VADDR  (0xc0000000 - 0x1000)
#define USER_VADDR_START 0x8048000
extern void process_execute(void* filename, char* name);
extern void start_process(void* filename_);
extern void process_activate(struct task_struct* p_thread);
extern void page_dir_activate(struct task_struct* p_thread);
extern uint32_t* create_page_dir(void);
extern void create_user_vaddr_bitmap(struct task_struct* user_prog);
#endif
